101. Introduction to model theory
پدیدآورنده : Rothmaler, Philipp
موضوع : ، Model theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
102. Introduction to model theory
پدیدآورنده : Rothmaler, Philipp
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Model theory
رده :
QA
9
.
7
.
R67
2000
103. Introduction to model theory and to the metamathematics of algebra
پدیدآورنده : Robinson, Abraham
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Algebra, Abstract,، Mathematics,، Model theory
رده :
QA
162
.
R6
1974
104. Introduction to model theory and to the metamathematics of algebra
پدیدآورنده : Robinson, Abraham
کتابخانه: (طهران)
موضوع : ، Algebra, Abstract,، Metamathematics,، Model theory
رده :
QA
162
.
R6
1974
105. Intuitionistic logic, model theory and forcing
پدیدآورنده : Fitting, Melvin
کتابخانه: (طهران)
موضوع : ، Model theory,، Axiomatic set theory,، Forcing )Model theory(
رده :
QA
9
.
F56
106. Inverse problem theory and methods for model parameter estimation
پدیدآورنده : Albert Tarantola
موضوع : Inverse problems (Differential equations)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
107. Inverse problem theory and methods for model parameter estimation
پدیدآورنده : / Albert Tarantola
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Inverse problems (Differential equations)
رده :
E-BOOK
108. Inverse problem theory and methods for model parameter estimation
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Inverse problems (Differential equations) ;
109. Inverse problem theory : methods for data fitting and model parameter estimation
پدیدآورنده : Tarantola, Albert.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Inverse problems )Differential equations(
رده :
QA
371
.
T36
1987
110. July 2, 2010. Proceedings-Theory and Practice of Model Transformations: Third International Conference, ICMT 2010, Malaga, Spain, June 28
پدیدآورنده : / Marco Brambilla, Stefano Ceri, Massimo Tisi (auth.), Laurence Tratt, Martin Gogolla (eds.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
111. Large infinitary languages : model theory
پدیدآورنده : Dickmann, M A
موضوع : ، Infinitary languages,، Model theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
112. Lectures on algebraic model theory /
پدیدآورنده : Bradd Hart, Matthew Valeriote, editors
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebraic fields,Model theory
رده :
QA9
.
7
.
H37
2002
113. Library and users: theory and practice (paper VIII of UGC model curriculum)
پدیدآورنده : / P. S. G. Kumar.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع : کتابخانهها و مراجعان.,کتابخانهها و مراجعان -- آموزش.
رده :
BibZ
۷۱۱
/
۲
/
ک
۹
ل
۲ ۱۳۸۳
114. Linear model theory :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Linear models (Statistics) ;
115. Linear model theory :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Linear models (Statistics) ;
116. Linear model theory
پدیدآورنده : / Keith E. Muller, Paul W. Stewart
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Linear models (Statistics)
رده :
QA279
.
M86
2006
117. Linear model theory: univariate, multivariate, and mixed models
پدیدآورنده : Muller, Keith E.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Linear models )Statistics(
رده :
QA
279
.
M86
2006
118. Linear model theory: univariate, multivariate, and mixed models
پدیدآورنده : / Keith E. Muller, Paul W. Stewart
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Linear models (Statistics)
رده :
519
.
5
M958L
2006
119. Linear model theory :univariate, multivariate, and mixed models
پدیدآورنده : Muller, Keith E
کتابخانه: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)
موضوع : ، Linear models )Statistics(
رده :
QA
279
.
M86
2006
120. Linear model theory: univariate, multivariate, and mixed models
پدیدآورنده : Muller, Keith E.
کتابخانه: (سمنان)
موضوع : ، Linear models )Statistics(
رده :
QA
279
.
M86
2006